How erasers actually erase pencil writing